A natural deduction system for modal logic.
نویسندگان
چکیده
منابع مشابه
Natural Deduction for Modal Logic with a Backtracking Operator
Harold Hodes in [1] introduces an extension of rst-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in ter...
متن کاملNatural Deduction for Full S5 Modal Logic with Weak Normalization
Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [10] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic just for a language without ∨, ∃ and with a restricted application of reduction ad absurdum. Reduction steps related to ∨, ∃ and classical negation brings about a lot of problems solved only ...
متن کاملA Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction
This paper describes a proof theoretic and semantic approach in which logics belonging to different families can be given common notions of derivability relation and semantic entailment. This approach builds upon Gabbay’s methodology of Labelled Deductive Systems (LDS) and it is called the compilation approach for labelled deductive systems (CLDS). Two different logics are here considered, (i) ...
متن کاملA Natural Deduction System for Intuitionistic Fuzzy Logic
Intuitionistic fuzzy logic IF was introduced by Takeuti and Titani. This logic coincides with the first-order Gödel logic based on the real unit interval [0, 1] as set of truth-values. We present a natural deduction system NIF for IF . NIF is defined by suitably translating a first-order extension of Avron’s hypersequent calculus for Gödel logic. Soundness, completeness and normal form theorems...
متن کاملNatural Deduction for Hybrid Logic
In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction system can be extended with additional inference rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of hybrid logics which appears to be impossible in the context of ordinar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1964
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093957879